Trefferliste "Program Verification" - alle Bücher

Ihre Suche nach "Program Verification" (Bücher) ergab 2 Treffer.

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

Thom Frühwirth

Principles of Rule-Based Programming

The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 36,00* Aktueller Preis: EUR 36,00

Artikel merken

In den Warenkorb

Menge ändern